Finite-size scaling in randomK-satisfiability problems
نویسندگان
چکیده
منابع مشابه
Finite-Size Scaling in Random $K$-Satisfiability Problems
We provide a comprehensive view of various phase transitions in random K-satisfiability problems solved by stochastic-local-search algorithms. In particular, we focus on the finite-size scaling (FSS) exponent, which is mathematically important and practically useful in analyzing finite systems. Using the FSS theory of nonequilibrium absorbing phase transitions, we show that the density of unsat...
متن کاملCritical Behavior in the Satisfiability of Randomk-horn Formulae
GABRIEL ISTRATE Abstract. We determine the asymptotical satisfiability probability of a random at-most-k-Horn formula, via a probabilistic analysis of a simple version, called PUR, of positive unit resolution. We show that for k = k(n) ! 1 the problem can be “reduced” to the case k(n) = n, that was solved in [12]. On the other hand, in the case k = constant the behavior of PUR is modeled by a s...
متن کاملFinite Size Scaling
We study the Bose-Einstein condensation phase transition in a weakly interacting gas through a perturbative analysis of finite systems. In both the grand canonical and the canonical ensembles, perturbation theory suffers from infrared divergences and cannot directly determine the transition temperature in the thermodynamic limit. However, in conjunction with finite size scaling, perturbation th...
متن کاملFinite-Size Scaling in Percolation
This work is a detailed study of the phase transition in percolation, in particular of the question of finite-size scaling: Namely, how does the critical transition behavior emerge from the behavior of large, finite systems? Our results rigorously locate the proper window in which to do critical computation and establish features of the phase transition. This work is a finite-dimensional analog...
متن کاملUniversal Finite-size-scaling Functions
The idea of universal finite-size-scaling functions of the Ising model is tested by Monte Carlo simulations for various lattices. Not only regular lattices such as the square lattice but quasiperiodic lattices such as the Penrose lattice are treated. We show that the finite-size-scaling functions of the order parameter for various lattices are collapsed on a single curve by choosing two nonuniv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review E
سال: 2010
ISSN: 1539-3755,1550-2376
DOI: 10.1103/physreve.82.061109